$\forall$${\it the\_es}$:ES, $e$:E, $l$:IdLnk, ${\it tg}$:Id. sends($l$,${\it tg}$,$e$) $\in$ ((Msg on $l$) List)